Teaching Software Engineering Using Lightweight Analysis

نویسنده

  • David Evans
چکیده

In teaching software engineering, it is a major challenge to integrate methodology and theory into the practice of software development. The goal of this project is to explore a new pedagogical approach to teaching software engineering centered on the close integration of analysis tools with instruction in programming methodologies. Instead of learning methodologies as abstract ideas, students will directly benefit from applying analysis tools that embody methodologies to large, realistic programs.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods

We report on our experiences in teaching lightweight formal methods with Eiffel. In particular, we discuss how we introduce formal methods via Eiffel’s design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called specification-driven design. This approach demonstrates how formal methods techniques fit with industrial softwa...

متن کامل

A Framework for Lightweight Object-Oriented Design Tools∗

Teaching object-oriented software engineering and design with industrial tools is not always satisfying, since the focus of these tools lies on development rather than education. In this paper we present a family of graphical tools for object oriented design devoted explicitely to teaching. They are built upon a common framework and a metamodel approach.

متن کامل

Simulating Critical Software Engineering

One goal of many introductory software engineering courses is to simulate realistic software engineering. Unfortunately, many of the practical constraints of typical courses are antithetical to that goal: instead of working in large teams on large projects, dealing with changing requirements and maintaining programs over many years, courses generally involve students working alone or in small t...

متن کامل

A Usability Evaluation Pattern Language

In most of the cases usability evaluations are done by usability experts. Employing such experts requires a certain size in business. So in a lot of small and middle sized companies developers are forced to learn how to handle usability aspects. This is not much easier than teaching usability engineers how to develop software. The usability evaluation process and its requirements also miss usab...

متن کامل

Using the Workflow Technology in Secure Software Engineering Education

Security has become an increasingly important topic in software engineering. In this paper, an approach of using the workflow technology in teaching secure software engineering courses is presented. This approach can free students from lowlevel tools manipulation and command line interactions so that students can focus on learning the important secure software principles. Four case studies usin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001